Inductive Functional Programming Using Incremental Program Transformation
نویسنده
چکیده
The paper presents a system, ADATE, for automatic functional programming. ADATE uses speci cations that contain few constraints on the programs to be synthesized and that allow a wide range of correct programs. ADATE can generate novel and unexpected recursive programs with automatic invention of recursive auxiliary functions. Successively better programs are developed using incremental program transformations. A key to the success of ADATE is the exact design of these transformations and how to systematically search for appropriate transformation sequences. Abbreviated title: INDUCTIVE FUNCTIONAL PROGRAMMING.
منابع مشابه
Incremental Learning in Inductive Programming
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming this, we introduce incremental learning, a process in which an inductive programming system automatically modifies its inductive bias towards some domain through solving a sequence of gradually more difficult problems ...
متن کاملCACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs
This paper describes the design and implementation of an interactive, incremental-attribution-based program transformation system, CACHET, that derives incre-mental programs from non-incremental programs written in a functional language. CACHET is designed as a programming environment and implemented using a language-based editor generator, the Synthesizer Generator , with extensions that suppo...
متن کاملSystematic Derivation of Incremental Programs
A systematic approach is given for deriving incremental programs from non incremental programs written in a standard functional programming language We exploit a number of program analysis and transformation techniques and domain speci c knowledge centered around e ective utilization of caching in order to provide a degree of incrementality not otherwise achievable by a generic incremental eval...
متن کاملAn Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming
Most programming environments for functional languages offer a single tool used to evaluate programs either a batch compiler or an interpreter with a read-eval-print loop. This paper presents a programming environment that supports not only evaluation, but also a range of other programming activities including transformation. The environment is designed to encourage working in an incremental an...
متن کاملIncorporating a folding rule into inductive logic programming
Many inductive logic programming systems have operators reorganizing the program so far inferred, such as the intra-construction operator of CIGOL. At the same time, there is a similar reorganizing operator, called the “folding rule,” developed in program transformation. We argue that there are advantages in using an extended folding rule as a reorganizing operator for inductive-inference syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 74 شماره
صفحات -
تاریخ انتشار 1995